perm filename CMR6.360[360,GF] blob
sn#868276 filedate 1989-01-10 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_Lπ#⊂→
'∀ Ec↓_ B`∃ ↓U5_αT`⊂λ↓T`⊂λ↓T@⊂_↓T@⊂_↓T ⊂ α∀ ⊂(↓T ⊂(↓T⊂8↓T⊂8↓SaTxB 4pB@DpB`4pB`4h↓α`DPβAa∀("⊂BA( D`x&@a_&@a⊂_&@a _&@a _&@a _&@a _&@a⊂_&@a_&C)P_∧↓ P_¬iP_¬@IP_¬@iP_¬@iP_¬@iP_¬@iP_¬iP_∧↓ !"Qλ1 ∧b0@βA∃↓↓` λ↓∪@ X↓S h↓∪ p↓∩`0xR`0xR@4P↓R@4P↓R@4P↓R`0xR`0xS xS hS@ XT 8↓∀@t("⊃αa8 D`x&@a_&@a _&@a0_&@a@⊂&@a@_&@aP⊂&@aP_&@aP_&@aP_&@aP_&@aP_&@aP_&@aP⊂&@a@_&@a@⊂&@a0_&@a _&@a_%βhT "EαQ_ @α$h↓B 4h↓B`∀h↓B`∀h↓C∀h↓C∀h↓A@⊂(S 00S 0(↓∪!$h↓A $h↓A@∀h↓A@⊂0S 0hS 0hS 0`↓∪ 0`S 0X↓∪ 0P↓RB4("⊃B1 D`↓⊂&@a⊂_&@a0λ&@a0λ&@a@λ&@a@λ&@``λα@)P_β)P_α@IPP&@`P⊂&@``λ&@``λ&@iP_&@iP_&@iP_%αHT #EC↓_ Bp T 8↓ $p↓α`4h↓β $`↓β@$X↓C`∀X↓C`∀P↓R@4P↓R@4P↓BA∀P↓C@4X↓C 4X↓C 4`↓β 4h↓β4p↓α`5↓↓` λ↓∀@p Q(D@Fα1_α PH&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&D)P_¬@iP_¬@iP_¬@iP_¬@iP_¬@iP_¬@iP_¬@iP_¬@iP_¬@i HαB(T $B!!_ @↓∀h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P∧Q(DPπβb1_αB*0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@i0⊂βi α@i α@I0⊂α@I@8"Q 1@Db0∧A`th↓B`4h↓B`$h↓B@∀h↓B ∀h↓B∀h↓A@$h↓A ∀h↓A4h↓@`Th↓@ ⊂↓S @(↓S 08↓S 0@↓S 0H↓S 0Hα∪ 0P↓S 0X↓S 0Xα∩A⊂8∧⊃(D` Eα1_αIP_&@iP_&@iP_&@iP_&@iP_&@iP_&@a@λ&@a@λ&@a@λ&@a0⊂&@a0λ&@a ⊂&@a %∧HT &G#a_ @pxβS @xα∪ ⊂λ↓C ⊂λ↓S ⊂λ↓C ⊂λ↓S ⊂⊂↓B`⊂⊂↓S ⊂⊂↓B`⊂⊂↓S ⊂_↓B ⊂_↓S ⊂_↓B ⊂_↓S ⊂ ↓A`⊂ ↓S ⊂ ↓A`⊂ ↓S ⊂ ↓A`⊂ ↓S ⊂(↓A ⊂(↓S ⊂(↓A ⊂(↓S ⊂0↓@`⊂0↓S ⊂0↓@`⊂0↓S ⊂8↓@ ⊂8↓S ⊂8↓@ ⊂8↓S ⊂@↓B4`↓A`0@↓R@p0AA∀("∪Bq@ D`0¬↓iP ¬@iPλ@a0λ&@ _¬)Pλ↓↓↓⊂λ&@ 0_∧@)Pλαaλ&@ P_β@)Pλβ``λ&@ p_α@)PλβA@λ&@!_α)Pλ∧@`0λ&@! _↓)Pλ¬@`⊂λ&@!@ &@!@ &@!P_&aP⊂%↓a@λ"Q q0∧b0@β∪`00↓S@ P↓∪ `↓∪ p↓∩`0p↓R`!↓∩@1↓R@1↓R@1↓R@1↓R@1↓R@1↓R`0p↓R`0p↓S0`↓S `↓∪@ P↓∪`00↓T@d("∀α1 D`x&@a_&@a⊂_&@a ⊂&@a _&@a _&@a _&@a ⊂&@a⊂_&@a_&C P_&@iP_&@iP_&@iP_&@i H"Q
⊃0ε"0@β∪`00↓S@ P↓∪ `↓∪ p↓∩`0p↓R`0p↓R@1↓R@1↓R@1↓R@1↓R@1↓R@1↓R`0p↓R`0p↓S p↓∪ α↓$p↓@⊂ @@$xα↓E⊂βA@∃@A@∃@↓↓ ∃@↓@`%Hβ⊗ ePα⊃(E⊂Fα1_βIP_β@iP_∧@iP_¬iP_¬iP_¬iP_¬iP_∧@iP_β@iPX&@`p_&@a_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_α)P_∧@`@λ&@a _↓I H∧↓(T )CB↓_ AP_S (α∩` @↓∩@ H↓∩@ PR@ PR@4X↓R`th∧∪`u ↓U 50↓∩@⊂X↓∩@⊂X↓∩@⊂XR@ H↓∩@@0↓∩@⊂_β⊃(E ¬b1_E 0⊂β@``⊂%@!_β@)0λ∧`pλ%!⊂_∧) λ∧@aλ%!⊂_∧*@_*j@_*j@_*j@_*j@_*j@_*iph"Q
Q8∧b0∧A`th↓C4h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀h↓C ∀p↓β ∀p↓B`∀x↓B ∃↓A@%_β⊃(E0Fα1_α↓⊂0&↓↓@_&@aPλ&A↓0⊂'a0λ'↓↓ λ'@a⊂λ'@a⊂λ(`pλ(`pλ(@`Pλ(@`Pλ)`0λ)`0λ)↓⊂⊂)@`⊂λ)A*@_*jPλ"Q
r⊂Db0∧↓↓⊂(β∪@H↓B@$h↓B 0PS 0Hαα ∀h↓B @HS@0@αα∀p↓A`⊂⊂↓A`∀x↓A@⊂⊂↓A@∀x↓A@⊂⊂↓A@∀x↓A ⊂ ↓A ∃↓A⊂ ↓A∃↓@`⊂0↓@`∃↓@`⊂0↓@`∃λ↓@@⊂0↓@@∃λ↓@ ⊂@↓@ ∃⊂ααE⊂ααE⊂↓B@5_↓α@%_C∀("⊗αq@ D`HαB ` ∧i` ∧)p β*_α@J⊂_α*⊂ ↓* ()A
@_*↓
0λA
λ↓@j⊂⊂αj⊂λαA
λβA pλ∧@i`⊂¬iP_¬↓ 8βB(T ,Ec↓_ @↓Hβ∪ 0`↓S @X↓∪@@PS`0HS`@8↓∀@0T 0(T@0_T@@λ↓∀`0λU5 ↓U5 ↓U5 ↓U5 ↓T!∀("⊗B↓⊂ D`↓%↓↓_%A _%A⊂_%!⊂_%! %!_)j⊂ (@j_'A p_β@)`_∧)P ∧)P_∧I@_∧@)0_∧@I0_∧i x"Q⊂pλβ↓@⊂αR`0_↓∩`0 ↓∪⊂(↓∀@$pβ∪ ↓∩` (↓∩@ 0↓∩@ 0↓`∀P↓↓@ _R` α $`α@@D("_Aa
¬ &I@⊂&I@⊂&I@⊂&I@⊂↓↓ @ αI@⊂β@I@⊂β@I@⊂∧I@⊂∧I@⊂∧I@⊂∧I@⊂∧I@⊂β@I@_β)@ α)@λ↓AλT 1BaP`ε↓d`↓↓4X↓↓ 4X↓↓@∀P↓∩@$P↓∩@$P↓∩`$X↓↓`∀`↓↓ ∀pαQ(F π∧αA ∧↓
@⊂*J@⊂*J@⊂*J@⊂'↓ ⊂&@ @ & p⊂%@@p⊂%A⊂%A⊂%A⊂%A⊂%A⊂%@@p⊂%@@`_&@@λ@I` ↓↓λT 2C↓P`ε↓ThA ∀`A`∀X↓↓`$P↓α ∀Pε∩@$P↓∩@$X↓∪⊂@S (S@d("→A0X
¬` '@@⊂_'@ _'@0λ'I`⊂'I`⊂%α `⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂&↓hT 3Cb↓_ε↓@⊂α∪ ↓@@$`A@∀X↓↓@$X↓↓@$X↓↓@$`A@∀`↓↓$`@ DX↓∪∀`∧S↓$X↓α$P↓α@$P↓α@$P↓α@$X↓α$`↓↓@$pβ⊃(F@π∧αA ↓ @⊂&I@⊂&I@⊂&I@⊂&@ &@⊂λα)@_α@I@⊂βI@⊂βI@⊂βI@⊂βI@⊂βI@⊂βI@⊂βI@⊂βI@⊂βI 0↓↓HT 4A@q
4X↓R`4X↓Q`@α∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$Pβ⊃(FP∧↓C! α@I` '↓ p⊂#A0((J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂%@ @⊂%`0λ%` ⊂%A(T 5CB↓
D`↓∪$`↓∪$`↓∪$`↓∪ αS (↓∪ (S S ⊂↓∪ λ↓S0λ↓S _↓∪ ↓∪ (↓∪ (↓S 0↓∩@`⊂β⊃(F`β↓bA ↓ @⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I@⊂%↓HT 6Fβ `ε@⊂αAT`↓ ⊂ ↓@⊂ ↓∪00↓A@$`↓↓` 8↓∪ 8↓↓`$`↓↓` 8↓∪ 8↓↓`$`↓↓` 8↓∪ 8↓↓`$`↓↓` 8↓∪ 8↓↓`$`↓↓` 8↓∩@`_β`d("≠Aaεβ ↓↓ @⊂@ @λ&`P⊂&@`⊂&@`⊂&@`⊂&@`⊂&@`⊂&@`⊂&@`⊂&@`⊂&@`⊂%↓@ 0"Q
ppπC↓@ β∪ ↓∪⊂@R` @↓∩@ P↓∩@ P↓∩@ P↓∩@ P↓∩@ P↓∩` @↓∩` @↓∪0 ↓S@d("≤↓a β ↓↓ @ αI@⊂β@I@⊂β@I@⊂∧I@⊂∧I@⊂∧I@⊂∧I@⊂∧I@⊂β@I@_β)@ α)@⊂↓↓ @⊂&I@⊂&I@⊂%↓HT 8CB↓⊂ε↓@_S ⊂ @ $`A@4X↓↓`$P↓α$P↓α$P↓α$P↓α$P↓α$X↓↓`$X↓↓@4`↓↓⊂λ↓∪@@⊂↓∃% ↓∃% ↓∃%⊂β⊃(G⊂¬β↓@`↓⊂ &` _&` _&@@λ&I@⊂&I@⊂&I@⊂&I@⊂%↓hT 9Ba@`ε@`λR`⊂0↓∩@⊂@R@⊂@R@$Xβ∪ e⊂↓∩@⊂HR@⊂HR@ @R@00R@⊂⊂αQ(G ∧BB⊃λα)`λ&@IP⊂&i @&@IP⊂&@IP⊂&@IP⊂&@IP⊂↓@)P⊂↓@)P⊂↓@)`λ↓@)p_"Q∞Ppλβ↓@α↓D`↓↓@$`↓↓@$`↓↓@$`↓↓@$`↓↓@$`↓↓@$`↓↓@$`↓↓@$`↓↓@$`↓↓ 4hADpα@D("≥Aqεβ0α↓)@⊂β@i@⊂∧)P⊂β)P⊂β)`⊂α)`⊂α)p⊂↓)p⊂↓)p⊂@J_(j⊂λ"Q∞q0C↓@β@`_αS 0↓↓@4`↓↓@ 8S0(↓A $h↓↓⊂⊂A ∀h↓↓⊂⊂↓↓∀p↓`⊂⊂↓`∀p↓@⊂ @`∀p↓@⊂ ↓@∀xα↓ λS`00↓T 0↓∀⊂@Q(G@πD↓@`↓@00&`P_&@@Pλ'@0λ'@@⊂⊂(j⊂⊂(ipλ↓I`λαIPλβI@⊂β@I (αA(T <Cb↓⊂ε` αS 8↓S @S 0S 0S@ S@ S` ⊂S` ⊂S`0λT5↓T ∃λT∀P↓@`∀P↓@@∀P@ ⊂λ↓∩`D("≡A@hεβX%@`⊂% `_% `⊂% P⊂'@I`_'@Pλ&@@`λ&@`⊂%@``λ%@@`⊂%αhT ∧bA_ @α$h↓B 4h↓B`∀h↓B`∀h↓C∀h↓C∀h↓C∀h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P¬⊃(@λεB1_¬@JP⊂*↓
0λA
0λ↓j λ↓A
λαj⊂λβjλβA
λ∧ipλ∧A pλ¬i`λεiP⊂ε↓ Pλπi@λπA @λλi10%ε !@"Q!0∧b0@β∪`00↓S@ P↓∪ `↓∪ p↓∩`0p↓R`0p↓R@0_B⊂_↓R@0_¬`4P↓@a _↓R@0_¬`4P↓@`⊂@@`4P↓D4X↓C@4X↓C@4`↓β@$h↓β$p↓α@$x↓A@5⊂β⊃(@_
EB1_¬*0_)@j0_) ⊂_) ⊂_(@@⊂ (@ 0_(@ 0_( P_( P_'@@P '@ p_'@ p_'! '!⊂_'!⊂_&@!0_&a _%↓`PH"QA
Db0λ ∩b$XD∀XD∀XD∀8↓↓⊂PS@⊂PSADpε∪@⊂PS@⊂PQ` D@∀PD@∀PD@∀P
∩BD("↓"q@ D`↓8&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_&@a0_%α PH"Qa ∧b0 R`0`↓S0`↓∪@`S @X↓∪@0`S`0XS`Eα∀ 5⊂↓∀@∃λB`∃C∀xC$pC $hC $`C 4X ∩B4("↓ba@ D` (∧↓)08β↓i ⊂α`@_αI λβ@@0⊂β* _@J0⊂@J0⊂@*@_*j@_*j@_*j@_*j@_*j@_*jX"Q↓↓ ∧b0(¬T`5_↓T`5∧∪ 0_↓@@4`↓↓ 0 ↓∩`0(↓A4P↓A@0(↓R@00↓A 4P↓A@0(↓R@00↓A 4X↓A 0 ↓S (↓A$h↓@`0⊂↓T↓¬_↓T`5_↓Sa4("α"a@ D``X*j@_*i β`P &`P_αi@_α@`@_&`P_αi@_α@`@_&`P_αi@_α@`@_&@`@_αIP_α`0_'`0_↓ip @`⊂_)↓j@_*j@_(αhT ¬¬αa_ AA∧p↓A@4`↓B@4X↓C4X↓β@$P↓C@4P↓C@4P↓C@4P↓C@4X↓β@$X↓C4`↓β$h↓α@$h↓α@$P@` @↓`∀PA⊂@A∀P↓`⊂@@`$Xβ↓@dXβ↓@dXβ↓@d("↓@p ∧@@ &@@⊂%@@`⊂%@@`⊂%@!λ%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%@!λ%@@`⊂%@@`⊂&@@⊂'↓λT _BaQ⊂ ↓ $hα∩@0⊂↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$X¬⊃(C⊂εβB!⊂↓A)0⊂α@I0⊂βI α@i βI0⊂β@J0_)@j0⊂)J⊂_(@Jλ'@)`λβ)Pλβ@)@λβ@)0P%αhT →CAq⊂ ↓d`↓↓ 4X↓A@4X↓A`$X↓A@5 ↓U%_↓∪`U_↓U5(↓∃ 4X↓α4Pα↓`4Pα↓`$P↓A`4X↓↓@4hβQ(C πβb!⊂∧J ⊂(@jλ@Ip⊂@Ipλ↓I`λ↓@IP⊂↓@IPλαI@λα@I0λβI ⊂βI p)J ⊂)J ⊂)Ip@"QεP`π∧B ⊂A@$`∧∪t`@@∀`S∀`S⊂λα∪ ↓∪⊂(↓T`%_↓T`4P↓A@4P↓A@4P↓A@$XA@4`A4hαQ(C0εβB!⊂β↓ `⊂α)Pλα@i@λβi0⊂%@I ⊂%@ (%@⊂λαI _βI ⊂∧) ⊂∧I ⊂∧I ⊂∧I0λ∧I0⊂β@)@λβIPλαI` "Qεppλ∧b0λRaTXε∩`⊂HR@⊂PR@⊂HT`∃⊂T ∃λT%S`$x↓∪`$p↓S@4p↓S@4xQ(C@πβb!⊂α↓IPλα@i@λ∧)0⊂∧I0⊂∧I0_β@I@ αI@0@I`0'↓i@⊂↓A)0⊂β↓ ⊂∧@i ⊂¬I ⊂¬I ⊂¬I0⊂∧I@⊂βI`0"Qπ⊂`π∧B α∪ R` 0R`⊂8↓∩@ @R@ @↓∩@ @↓∩@ @↓∩`⊂@↓∩` 0↓S @ $hα@@% ↓∃∃_↓∩@00R@0(R`⊂(ST(" ↓@pE `λ'↓)@⊂↓ λ%@@0λ↓@)0λα @λ%@@λ↓i ⊂α _%@@λ↓@) _↓@)00&↓iP8(↓*λ↓jλ↓i _↓@ 0⊂%`0λ↓@I ⊂α 0⊂% Pλ↓@)0λα ⊂& 0λ@IP((*λ"Q∧a8¬α@8↓T ⊂S` S` S` S` _S` _S` ⊂T08βT P↓S`0PS@⊂⊂↓α ∀h@` @S⊂(↓↓@∀XA@0(R@ 8↓↓∀P↓α ⊂R@ H↓B∀X↓α @S 0↓ 0(S p(β⊃(Cx¬C"A ↓A)0⊂α@I ⊂β@I _βI _βJ ⊂(@J⊂()pλ'@)pλ'@(p αIP &A `⊂"Qπ`XεE↓` ↓∪ Dhα∪@$8α↓ ∀pS@∀pS $hS∀XR@ 0↓R@ 0↓R@ 8↓∩` (↓∪d("∧`8εβ &I@⊂&I@⊂&I@⊂&I@⊂&I@⊂&I 0"Qα⊂@β∧A@_αT%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩`⊂ ↓∩@0_R@0⊂↓∩`T("ε!Px
¬P &@@@⊂&@ `λ&@`⊂&@`⊂&@`⊂&@P⊂&@@⊂%↓ _&@@⊂&@P⊂&@`⊂&@pλ&@p⊂&@p⊂&@p⊂&@p⊂&@p⊂&@ ⊂↓I@⊂↓@ λ%↓0_"Qβ!(C↓@⊂β↓ TX↓A ⊂↓↓∀X↓A 08S⊂0↓B∃_↓α ∀xλ∪0 ↓∩` 0↓∩@ 8↓∩@ 8↓R@ 8@ ⊂@R` (@` (S`0αQ(AXε!@`α↓@`(&@@@⊂α@@λ&!λ↓ pλ%@A ∧) ⊂¬A⊂λ%A `%A ⊂%A ⊂%A ⊂%@A &!λ↓!λ&@@@⊂α@Pλ'↓@p("Qβ@pπDAp`U %(S@th↓↓$`A@⊂λR` (@@$P↓↓@⊂_↓∩@ (A$P↓↓ ↓∩@ A $P↓`⊂0↓∩` ⊂A $X↓ ⊂0↓∪0 ↓S t`R`$XQ(Ah∞π"1_∧∧J@λ↓`p_* _∧@*@λ↓a⊂λ)@ 0_¬*0λ↓@a λ) @_¬* λα`Pλ(@ P_α@*⊂λα@`@⊂(Cjλβ`@⊂( `_α@ Pλ'@ p_α@ Pλ'@ p_¬@)`⊂β@a ⊂'!_¬)`λ∧a⊂⊂&@A_∧i 8α∧λT ∂πd⊃_ BαTx↓A@@@↓S@0@↓B@∀h↓α@0PS0P↓B`∀X↓B`0XR`0X↓A`⊂_R@0`↓A`∀P↓C00↓∩@0`¬R@0`↓A@$P↓C08R@0`↓A`⊂ R`0X↓C∀X↓B`0`S0P↓B`$h↓B 0XS@0@↓B@$xα↓ @H↓TBd("πba@¬"0λ.* 0↓@)p_β↓ `⊂¬IP⊂¬ ⊂⊂&A λ↓@I0_∧@@0_%@A λα@I _∧@ `_%aλβ@i _β@@p_%`pλ∧i _β!⊂_%`Pλ¬i0⊂αA ⊂%@`0λ¬i@⊂↓!0⊂&@a0⊂'A ⊂'↓`_&@ @0&(T ⊂Aq
$Pα∩@DPα∩@DPα∩`$X↓∩`$X↓∩`$X↓∩`$8α $Pα∩@DX↓⊃(C`α↓b@p@I %↓ 0⊂#A⊂⊂%@I0⊂%@I0⊂%@I0⊂%↓ %↓ %↓ 0⊂"Q∧1@
εB@X↓↓ %(↓↓ %(↓↓ % ↓↓ % ↓↓ % ↓↓ % ↓↓ % ↓↓ %_↓↓ $X∩C¬⊂↓↓ %⊂↓↓ %⊂↓↓ %λ↓↓ %λ↓↓ %λ↓↓ $P∩be↓↓ $x↓↓ $x↓↓ $x↓↓ $x↓↓ $p↓↓ $p↓↓ $p↓↓ $(" #↓PE 0_ε@I@λ↓@A _%@@@⊂∧i ⊂βαi ⊂β p⊂%@`λβ@I ⊂β `⊂%@`λα@I ⊂β P⊂%@@@λα@I@λ↓@ P⊂&@`P⊂α@jP⊂α 0λ*@@⊂α*0⊂α@ `λ)@P⊂β* ⊂α@@`λ(@@`⊂β*⊂β@@`λ(@p⊂β)p⊂∧@ `λ'A ⊂α)P⊂ε 0λ'!P_"Q∧p βB"@λ↓∩@DPα∩`4hS ∀`S∀XR`∀("
↓P∞E pλ()pλ')Pλ&I@λ%@I0⊂%@) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I0λ%@I0⊂&)@⊂&@)`λ'@*λ(@(T ∀B↓!h
@∀XS∀hS@∀p↓∪`∀x↓∪`%T%↓∀%↓∀%↓∀%↓∀%↓∀∀x↓∪`$xS@$pS ∀`R`∀PQ(BPεβAA(α@Ip⊂'@I ⊂↓@@0⊂%↓⊂⊂A @@'@I@@%↓⊂⊂A ⊂↓@@0⊂'@Ip⊂'@HT ∃EC↓8 α@% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃$P∩Be ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓⊃(B`α↓a⊂_@I %↓ 0_&@)Pλ&)@λ%@)0λ"Q¬` β@`0λ↓∩@DPα∩`$("a@p∞¬!0λ*J0⊂)@J0⊂)J ⊂)J⊂⊂(@J⊂(J⊂'@Ip⊂'@I`⊂'I`⊂&@IP⊂&I@⊂&I0⊂%@I0⊂%I ⊂"Qπ βC↓@λ↓∩@DPα∩`$8α@ $Pα∩@DX↓⊃(CXα↓b `@I %↓ 0⊂#A ⊂⊂%↓ %@iPλ&@)@λ&)0λ%@(T ≡ECH¬@"DP⊃``∩bD("⊂αa@
¬↓0'@``_'!@λ&@!`λ& ` β)0λα@@@λβ)0λα@`_↓@) λα@@p⊂α) λαA⊂α) λαA⊂α) λαA⊂α) λαA⊂α) λαA⊂α) λα@@p⊂α)0λα@`_↓@)0λα@@@λ@@0λ& ` ↓A Pλ')p_¬↓
P"Q00∧GαPβ∩@dP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@dPβ⊃(Ehβ↓CA(↓I 0'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I 0%↓HT 0↓pH
@∀`R`∀XR@∀PR@4Pα∩@DX↓⊃(A⊂αB Q I _%@I@⊂&@I`λ"Qα0(ε↓"@_↓∪4`↓∩`$P↓∩@∀("¬↓`↓∧@⊂αI0⊂↓IP⊂"QαPPεA"@B∀PB∀P↓↓@$XA@∀`A∀hα⊃(A0εβ@↓βλT Ab
TPA ∀PA ∀PA ∀XαQ(0β∂x␈␈␈p@↓Ox␈␈␈/x␈␈␈p_↓S`%↓∀$Xβ∩@∀("λ↓⊂H↓B`pλ'i0_"Q`@ε↓α@_↓∪DX↓@$P↓↓$PA@∀("↔`P8↓E⊂_%@i0_%@hT >B!P
↓∩` ↓∩`⊂(R`⊂(R@ ↓⊃(Gp¬β !_↓`@λ%B λαhT ?BAP_
↓∩@@⊂α∩@@⊂α∩` ↓⊃(@X¬BA ∧↓ 0((@P ↓ip⊂αA0_'@`_α@)`⊂β@I`⊂β@I`⊂β@I`⊂β@I!_'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂&↓@08"Q↓AλλEα@@αT (S` (↓S@ 0↓S@ 8S@$p↓∪@$PπS@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪@ 8↓∪`_β⊃(@hλD"A ∧↓j⊂αip⊂α@i`⊂β@I`⊂β@I`⊂β@I`⊂β@I`⊂β@I x'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂'@p⊂&↓@00"Q↓a`∞¬α@@β↓e↓↓@⊂λ↓↓@∀x↓↓@@0↓S@ 8↓A`4p↓α @S@ @↓∪@ @↓∪@ @↓∩C$p↓α @↓∪@ @↓α$p↓α @↓∪@ @↓α$p↓α @↓∪@ @↓α$p↓α @↓∪@ @↓α$p↓α @↓∪@ @↓α$p↓α @↓∪` β↓d("βcA`
¬↓0αα
⊂β ⊂⊂α@ip⊂β↓`_'@p_∧I`⊂∧A⊂'A⊂∧I`⊂∧A⊂'A⊂∧I!P'A⊂∧I`⊂∧A⊂'A⊂∧I`⊂∧A⊂'A⊂∧I`⊂∧A⊂'A⊂∧I`⊂∧A⊂'A⊂∧I`⊂∧A⊂'A⊂∧I@0α↓@@0"Q∧ Xεα"@λ↓↓ $Pα`DPα`DX↓A4hA@∀hA@∀`A@∀`A@∀XA@∀XA@∀("!@A@@%αλT .αapH
@⊂0S⊂0R`⊂0R`⊂0R@⊂0R@⊂0R@0 ↓R@@_α∩@@_α∩` (↓⊃(GXλ∧@∧λT >λd0∧∧4(wCM⊗ 2[NFH3~,W⊂⊂⊂iU⊂wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∂⊂∨λ≥0H X5α>fpα>f␈x␈␈␈`∧?x␈␈␈α←0¬``πH`π8}`λ∂↓␈xz@x∂=@!`β↑gX↓vH{c⊂εS6Pβy/0αε`qa λε>`(
@↓e8_↓,=@aPβ=Pα
h{↓c@π=O0∧≡O0∧ε@hv@λN>`H∞↓o0=@↓λH=A!Pβ=Pα≡X{αb`¬qb0πM/0ε¬ X!∃ ∂2>`h
@↓4⊂*@↓x
=Ab∧≤8βwλ{βdλ8pπ⎇O0λα@(PJ`π≡aλ¬@b(t↓0≡⎇B!⊂α8q(βUP{∧b ∧qbPπ-←0
∧@HcE ∞`≡a( ↓≤8
@↓hH⎇Ba⊂α8q(βZp{¬c0π∃fπ6␈0∧@↑f`∞s↑aH ↓≤8
@↓08=C!Pβ=Pαlh{εc@π=O0¬bo0∞∧@HcE Y>ah⊂α∪pD↓8]=Cb ∧j↔hββ_{πc@π=O0ε∃O0⊂α`(PJ`∞⎇≡bλ¬@Zλ∃@↓H⊃⎇D!⊂α8q(∧εh{λc`π␈}Pε/∨0∩∧@HcE
7≡b(∂↓␈xz@↓Hr=Da`β↑gXαTH{ a0αh%0εN←0∀β@8Zλ
$≡bHπ{ ⊂↓Pi⎇E!⊂α8q(β10{
c@π=O0εh␈0⊗α`(PJ`
←↑bhεjPR@αN=E`X↓4∩Xβ9H{b ∧qbPεu∂0_∧@HcE ∪≡cλ ↓≤8
@↓⊂M⎇F!⊂α8q(α,P{b ∧qbP∧`␈0~∧@HcE Q↑c( ↓≤8
@↓_B⎇Fa⊂α8q(α<0{
b ∧qbP¬α∨0≤∧@HcE
⊃↑cH ↓≤8
@↓ H⎇G X↓4∩Xβ>H{∞a0αh%0π/0≡α`(PJ`S↑ch∞↓o0=@↓`∪⎇Gaλα(%@α↑H{∂b⊂∧PK¬6o0 πp{≡`∞∞≡dλ
@↓e8_⊃⎇H!Hβ3UXπ{⊂c ε{ _∨0"ε`pS5 C≡d(↓Q@N@λ/⎇Ha8β∩>≠ {⊃c@πD!??0$ε`p+L↓∪↑dHε@q j@⊂Q⎇I!_α?Bh-⊂{∩c@π6⎇Pa∨0&¬``πH`↓X↑dh⊂@α↔_P_O⎇IaXβJsC@{∪c@π=O0↓∃∨0(εh' α?≡eλ∞↓o0=@(≡⎇J!PβD!@ZP{∀b@¬4∩↓@?0*ε@hv@β∩↑e(
@↓e8_0H⎇JaXβJsn0{∃d@ aRP↓f←0,ε`p+Lβo≡eH
@↓e8_@¬⎇K!0α{ X↓¬{⊗a0αh%0π↔←0.∧@HcE ⊂)}eh¬@Zλ∃@↓`␈=Ka⊂α8q(β`λ{↔a0αh%0πC∂00α`(PJ`∞O}fλ ↓≤8
@@L⎇L! αZ ↓
{_b∧/30α#␈02¬Ph$∧R↑f(λ↓hN@HK⎇L`X↓D↑@↓≤ {→b ∧qbPα??04¬Ph$¬∩↑fH¬Zλ∃@PK⎇M X↓D↑@↓,⊂{~b0¬∩z0α←␈06α@(PJ`¬R↑fh∂↓␈xz@X=⎇Ma αZ ↓= {≠b ∧qbPβα∨08¬Ph$ε∩≡gλ @↓$Xi@`G⎇N p↓vB↓MP{≤apβsUPβ ?0:β@8ZλεM↑g(
↓-Hh4⎇Na_αI=_↓Z {≥c ε{ β;∨0<∧`P%t`π↑gH @↓$Xi@p3⎇O!α↔YX↓k{≡b ∧qbPλ~o0> ↓_G
`⊂7}gh ↓≤8
@↓p∪⎇Oa⊂α8q(βd⊂{∨b ∧qbPπJ?H∧∩⊂Aw{⎇xow{⎇x